-
Notifications
You must be signed in to change notification settings - Fork 0
build.sh: add option to build in a 'bind-mount' directory #137
Conversation
This is way experimental. Trouble might arise from the automounter when it comes to expiring the wrong directory (the one bound).
Suggestions to consider:
|
|
Thats right. A process with cwd in it will prevent unmounting, so it will not go away while building. OMG, stupid me, its even easier: Instead of forking (and killing!) a separate process, the script can just open the directory to prevent unmouting. This will automatically go away when the script terminates. Untested:
If the second test doesn't die, we can be sure that it is and will stay mounted. |
My guess would be, this would trigger an automount first on which the other mount goes on top. Going to test this in a minute, but wanted to make a bet first. |
Guess your bet is right, at least if I interpret my results correctly :) |
not really....
Anyway, our script down't care, whether there is a nfs mount below the bind mount or not. :-) |
Sure that addendum: I got the sense of the double findmount, but I saw:
|
I've checked via the existance of |
Yes, I made an error: When repeating the test, I wasn't patient enough to wait for the automounter to expire the path, but manually used If there is no If, on the other hand, there is an (unmounted) local directory /home/molgen , than both commands do not trigger an automount. At least I can claim, that my first prognosis was correct :-) And, again, we don't really care in this case, as the possible mount done by automount would be covered by our own manual mount anyway. |
Still "not ready for merge"? I didn't test it, but if you did and it works, its okay for my part. Go ahead and merge when ready. |
This is way experimental. Trouble might arise from the
automounter when it comes to expiring the wrong directory
(the one bound).